Building And Testing Reliable Agents